退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:安全关键计算机系统中软件安全的方法框架
P. V. Srinivas Acharyulu; P. Seetharamaiah;
机译:安全关键计算机系统中软件安全的方法框架科学出版物
机译:安全关键计算系统中的软件安全建模方法
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:医疗保健中的计算机应用。门诊计算机系统。多相测试系统:工业场所的安全性及其整个员工队伍的健康状况的文档
机译:旧版安全关键计算机系统中的软件安全风险
机译:适用于多核航空电子系统中关键实时安全关键应用的可验证确定性系统软件框架
机译:可验证的确定性系统软件框架,用于具有多核处理器的航空电子系统中的硬实时安全关键应用
机译:可验证的确定性系统软件框架,在采用多核处理器的航空电子系统中进行实时,严格的安全关键应用
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。